Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni

Source URL: www.emnets.org

• Computing
• Wireless networking
• Internet architecture
• Information and communications technology
• Network architecture
• Packet loss
• Network performance
• Transmission Control Protocol
• Routing
• Telecommunications engineering
• Computer networking
• Dynamic Source Routing

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

Source URL: www.ieee-security.org

• Mathematical analysis
• Special functions
• Mathematics
• Trigonometry
• Angle
• Dimensionless numbers
• Ratios
• Analytic functions
• Trigonometric functions
• Sine
• Taylor series
• Polynomial

Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15

Source URL: qav.comlab.ox.ac.uk

• Media access control
• IEEE 802
• Computing
• Data transmission
• Ethernet
• Wireless networking
• IEEE 802.15.4
• Carrier-sense multiple access with collision avoidance
• Carrier-sense multiple access
• Medium access control
• Zigbee
• Exponential backoff

The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation

Source URL: community.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Recursion
• Higher-order functions
• Programming language comparisons
• Haskell
• Lazy evaluation
• ML
• Conditional

James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016

Source URL: www.cs.uwyo.edu

• Automated theorem proving
• Theoretical computer science
• Computing
• Mathematics
• Nuprl
• Interactive Theorem Proving
• Proof assistant
• Robert Lee Constable
• ACL2
• Formal methods
• Computer science
• Automated reasoning

TimeMachine: Timeline Generation for Knowledge-Base Entities Tim Althoff*, Xin Luna Dong† , Kevin Murphy† , Safa Alai† , Van Dang† , Wei Zhang† *Computer Science Department, Stanford University, Stanford, CA 94

Source URL: www.timalthoff.com

A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and

Source URL: cseweb.ucsd.edu

• Cryptography
• Hashing
• Pseudorandomness
• HMAC
• Pseudorandom function family
• Cryptographic hash function
• Hash function
• Oracle machine
• Block cipher

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

Source URL: www.nada.kth.se

• Software testing
• Software verification
• KTH Royal Institute of Technology
• Computer science
• Verification
• Electromagnetism
• Engineering